$\forall$$M$:(IdLnk$\rightarrow$Id$\rightarrow$Type), $l$:IdLnk, $t$:Id, $v$:$M$($l$,$t$). msg($l$;$t$;$v$) $\in$ Msg($M$)